concurrency axiom

并发公理